Issue619.agda:16,12-16
quote Bool.true != quote false of type Common.Reflection.QName
when checking that the expression refl has type
quote Bool.true ≡ quote false
